- einstelliges Prädikat
- одноместный предикат
Немецко-русский математический словарь. 2013.
Немецко-русский математический словарь. 2013.
Prädikat (Logik) — Prädikat (von lat. praedicare = zusprechen) nennt man in der modernen Logik den Teil einer atomaren Aussage, durch den eine Eigenschaft von einem Gegenstand ausgesagt wird. Der der Eigenschaft entsprechende Begriff wird dem Gegenstand… … Deutsch Wikipedia
Prädikat — Satzaussage; Aussagekern; Zertifikat; Gütesiegel * * * Prä|di|kat 〈n. 11〉 1. Titel, Bezeichnung eines Ranges (AdelsPrädikat) 2. Ergebnis einer Bewertung 3. 〈Logik〉 Glied eines Urteils, das die Aussage über ein Subjekt enthält 4. 〈Gramm.〉 Satzteil … Universal-Lexikon
Prädikatssymbol — Dieser Artikel oder Abschnitt bedarf einer Überarbeitung. Näheres ist auf der Diskussionsseite, Abschnitt Überarbeitungsbedarf (war: Überschneidung mit Quantor) angegeben. Hilf mit, ihn zu verbessern, und entferne anschließend diese Markierung … Deutsch Wikipedia
Logik erster Ordnung — Die Artikel Prädikatenlogik und Prädikat (Logik) überschneiden sich thematisch. Hilf mit, die Artikel besser voneinander abzugrenzen oder zu vereinigen. Beteilige dich dazu an der Diskussion über diese Überschneidungen. Bitte entferne diesen… … Deutsch Wikipedia
PK1 — Die Artikel Prädikatenlogik und Prädikat (Logik) überschneiden sich thematisch. Hilf mit, die Artikel besser voneinander abzugrenzen oder zu vereinigen. Beteilige dich dazu an der Diskussion über diese Überschneidungen. Bitte entferne diesen… … Deutsch Wikipedia
Prädikatenkalkül — Die Artikel Prädikatenlogik und Prädikat (Logik) überschneiden sich thematisch. Hilf mit, die Artikel besser voneinander abzugrenzen oder zu vereinigen. Beteilige dich dazu an der Diskussion über diese Überschneidungen. Bitte entferne diesen… … Deutsch Wikipedia
Prädikatenlogik — oder Quantorenlogik ist eine Familie logischer Systeme, die es erlauben, einen weiten und in der Praxis vieler Wissenschaften und deren Anwendungen wichtigen Bereich von Argumenten zu formalisieren und auf ihre Gültigkeit zu überprüfen. Auf Grund … Deutsch Wikipedia
Prädikatenlogik zweiter Stufe — Die Artikel Prädikatenlogik und Prädikat (Logik) überschneiden sich thematisch. Hilf mit, die Artikel besser voneinander abzugrenzen oder zu vereinigen. Beteilige dich dazu an der Diskussion über diese Überschneidungen. Bitte entferne diesen… … Deutsch Wikipedia
Prädikatorenlogik — Die Artikel Prädikatenlogik und Prädikat (Logik) überschneiden sich thematisch. Hilf mit, die Artikel besser voneinander abzugrenzen oder zu vereinigen. Beteilige dich dazu an der Diskussion über diese Überschneidungen. Bitte entferne diesen… … Deutsch Wikipedia
Quantorenlogik — Die Artikel Prädikatenlogik und Prädikat (Logik) überschneiden sich thematisch. Hilf mit, die Artikel besser voneinander abzugrenzen oder zu vereinigen. Beteilige dich dazu an der Diskussion über diese Überschneidungen. Bitte entferne diesen… … Deutsch Wikipedia
A (Logik) — Die Syllogismen (von altgr.: συλ λογισμός, syllogismos = das Zusammenrechnen, logischer Schluss) sind ein Katalog von Typen logischer Argumente. Sie bilden den Kern der im vierten vorchristlichen Jahrhundert entstandenen antiken Logik des… … Deutsch Wikipedia